1. Verification techniques for system-level design /
المؤلف: Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7895
.
E42
F95
2008eb
2. Verification techniques for system-level design
المؤلف: / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Systems on a chip -- Testing,Integrated circuits -- Verification,Formal methods (computer science)
رده :
TK7895
.
E42F95
2008
